181. Logic programming and nonmonotonic reasoning :
پدیدآورنده : Pedro Cabalar, Tran Cao Son (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming, Congresses,Nonmonotonic reasoning, Congresses
رده :
QA76
.
63
.
L66
2013
182. Logic programming and nonmonotonic reasoning : 4th International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 1997 : proceedings
پدیدآورنده : Jurgen Dix, Ulrich Fuhrbach, Anil Nerode, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1265
183. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
پدیدآورنده : Chitta Baral... ]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
184. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
پدیدآورنده : Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
185. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
پدیدآورنده : Vladimir Lifschitz, Ilkka Niemela )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
186. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
پدیدآورنده : Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
187. Logic programming, knowledge representation, and nonmonotonic reasoning :
پدیدآورنده : Marcello Balduccini, Tran Cao Son (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Gelfond, Michael,Logic programming,Nonmonotonic reasoning
188. Lógica viva ; Moral para intelectuales /
پدیدآورنده : Carlos Vaz Ferreira ; prólogo, Manuel Claps ; cronología, Sara Vaz Ferreira.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : VAZ FERREIRA, CARLOS,1872-1958.,Ethics.,Intellectuals.,Logic.,Professional ethics.,Reasoning.,Ethics.,ETICA PROFESIONAL.,INTELECTUALES-- ETICA PROFESIONAL.,Intellectuals.,Logic.,Professional ethics.,RAZONAMIENTO.,Reasoning.,SOFISMAS.
رده :
BC117
.
S7
V33
1979
189. Logical self-defense /
پدیدآورنده : Ralph H. Johnson, J. Anthony Blair
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Critical thinking,Fallacies (Logic),Reasoning
190. Logical self-defense
پدیدآورنده : Johnson, Ralph H. )Ralph Henry(, 0491-
کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)
موضوع : ، Fallacies )Logic(,، Reasoning,، Critical thinking
رده :
BC
175
.
J6L6
191. Logical tools for handling change in agent-based systems
پدیدآورنده : Dov M. Gabbay, Karl Schlechta
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Intelligent agents (Computer software),Logic, Symbolic and mathematical,Nonmonotonic reasoning
رده :
Q310
.
G33
2010eb
192. Logique
پدیدآورنده : Augustin Sesmat
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Logic,Reasoning
193. Mathematical Reasoning :
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Reasoning.,Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Reasoning.
رده :
QA9
.
M347
194. Mathematical reasoning, rev. ed
پدیدآورنده : Harnadex
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : Reasoning,Logic, symbolic and mathematical
رده :
BC
177
.
H3
195. Mathematics of fuzziness--basic issues
پدیدآورنده : Wang, Xuzhu.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه گلستان (گلستان)
موضوع : ، Fuzzy mathematics,، Fuzzy logic,، Fuzzy sets,، Reasoning--Mathematical models
رده :
QA
248
.
5
.
W36
196. Mathematics of fuzziness: basic issues
پدیدآورنده : Wang, Xuzhu
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Textbooks ، Fuzzy sets,Textbooks ، Fuzzy logic,Textbooks ، Fuzzy mathematics,Mathematical models -- Text books ، Reasoning
رده :
QA
248
.
5
.
W36
2009
197. Meaning in dialogue : an interactive approach to logic and reasoning
پدیدآورنده : Trafford, James
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Reasoning,، Logic
رده :
BC
177
.
T72M4
198. Mechanizing mathematical reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Automatic theorem proving. ; Logic, Symbolic and mathematical. ; Reasoning ; Automation. ; Reasoning ; Technique. ;
199. Mechanizing mathematical reasoning : essays in honor of Jorg H. Siekmann on the occasion of his 60th birthday
پدیدآورنده : Dieter Hutter, Werner Stephan )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical,Automation ، Reasoning,Technique ، Reasoning
رده :
QA
76
.
L28
Vol
.
2605
200. Media argumentation: dialectic, persuasion, and rhetoric
پدیدآورنده : Walton, Douglas N
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Reasoning,، Fallacies )Logic(,، Mass media
رده :
BC
177
.
W3245
2007
